Optimal. Leaf size=715 \[ -\frac {3 (b+2 c x) \sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}}}{\sqrt [3]{2} c \sqrt [3]{b x+c x^2} \left (1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right )}-\frac {3 \sqrt [4]{3} \sqrt {2+\sqrt {3}} b^2 \sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}} \left (1-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right ) \sqrt {\frac {1+2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}+2 \sqrt [3]{2} \left (-\frac {c x (b+c x)}{b^2}\right )^{2/3}}{\left (1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right )^2}} E\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}{1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}\right )|-7+4 \sqrt {3}\right )}{2 \sqrt [3]{2} c (b+2 c x) \sqrt [3]{b x+c x^2} \sqrt {-\frac {1-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}{\left (1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right )^2}}}+\frac {\sqrt [6]{2} 3^{3/4} b^2 \sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}} \left (1-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right ) \sqrt {\frac {1+2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}+2 \sqrt [3]{2} \left (-\frac {c x (b+c x)}{b^2}\right )^{2/3}}{\left (1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}{1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}\right )|-7+4 \sqrt {3}\right )}{c (b+2 c x) \sqrt [3]{b x+c x^2} \sqrt {-\frac {1-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}{\left (1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right )^2}}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.60, antiderivative size = 715, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 6, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.462, Rules used = {636, 633, 241,
310, 225, 1893} \begin {gather*} \frac {\sqrt [6]{2} 3^{3/4} b^2 \sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}} \left (1-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right ) \sqrt {\frac {2 \sqrt [3]{2} \left (-\frac {c x (b+c x)}{b^2}\right )^{2/3}+2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}+1}{\left (-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}-\sqrt {3}+1\right )^2}} F\left (\text {ArcSin}\left (\frac {-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}+\sqrt {3}+1}{-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}-\sqrt {3}+1}\right )|-7+4 \sqrt {3}\right )}{c (b+2 c x) \sqrt [3]{b x+c x^2} \sqrt {-\frac {1-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}{\left (-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}-\sqrt {3}+1\right )^2}}}-\frac {3 \sqrt [4]{3} \sqrt {2+\sqrt {3}} b^2 \sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}} \left (1-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right ) \sqrt {\frac {2 \sqrt [3]{2} \left (-\frac {c x (b+c x)}{b^2}\right )^{2/3}+2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}+1}{\left (-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}-\sqrt {3}+1\right )^2}} E\left (\text {ArcSin}\left (\frac {-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}+\sqrt {3}+1}{-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}-\sqrt {3}+1}\right )|-7+4 \sqrt {3}\right )}{2 \sqrt [3]{2} c (b+2 c x) \sqrt [3]{b x+c x^2} \sqrt {-\frac {1-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}{\left (-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}-\sqrt {3}+1\right )^2}}}-\frac {3 (b+2 c x) \sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}}}{\sqrt [3]{2} c \sqrt [3]{b x+c x^2} \left (-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}-\sqrt {3}+1\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 225
Rule 241
Rule 310
Rule 633
Rule 636
Rule 1893
Rubi steps
\begin {align*} \int \frac {1}{\sqrt [3]{b x+c x^2}} \, dx &=\frac {\sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}} \int \frac {1}{\sqrt [3]{-\frac {c x}{b}-\frac {c^2 x^2}{b^2}}} \, dx}{\sqrt [3]{b x+c x^2}}\\ &=-\frac {\left (b^2 \sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}}\right ) \text {Subst}\left (\int \frac {1}{\sqrt [3]{1-\frac {b^2 x^2}{c^2}}} \, dx,x,-\frac {c}{b}-\frac {2 c^2 x}{b^2}\right )}{\sqrt [3]{2} c^2 \sqrt [3]{b x+c x^2}}\\ &=\frac {\left (3 \sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}} \sqrt {-1-\frac {4 c x}{b}-\frac {4 c^2 x^2}{b^2}}\right ) \text {Subst}\left (\int \frac {x}{\sqrt {-1+x^3}} \, dx,x,2^{2/3} \sqrt [3]{-\frac {c x \left (1+\frac {c x}{b}\right )}{b}}\right )}{2 \sqrt [3]{2} \left (-\frac {c}{b}-\frac {2 c^2 x}{b^2}\right ) \sqrt [3]{b x+c x^2}}\\ &=-\frac {\left (3 \sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}} \sqrt {-1-\frac {4 c x}{b}-\frac {4 c^2 x^2}{b^2}}\right ) \text {Subst}\left (\int \frac {1+\sqrt {3}-x}{\sqrt {-1+x^3}} \, dx,x,2^{2/3} \sqrt [3]{-\frac {c x \left (1+\frac {c x}{b}\right )}{b}}\right )}{2 \sqrt [3]{2} \left (-\frac {c}{b}-\frac {2 c^2 x}{b^2}\right ) \sqrt [3]{b x+c x^2}}+\frac {\left (3 \sqrt {2+\sqrt {3}} \sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}} \sqrt {-1-\frac {4 c x}{b}-\frac {4 c^2 x^2}{b^2}}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {-1+x^3}} \, dx,x,2^{2/3} \sqrt [3]{-\frac {c x \left (1+\frac {c x}{b}\right )}{b}}\right )}{2^{5/6} \left (-\frac {c}{b}-\frac {2 c^2 x}{b^2}\right ) \sqrt [3]{b x+c x^2}}\\ &=\frac {3 b^2 \sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}} \sqrt {-1-\frac {4 c x}{b}-\frac {4 c^2 x^2}{b^2}} \sqrt {-1-\frac {4 c x (b+c x)}{b^2}}}{\sqrt [3]{2} c (b+2 c x) \sqrt [3]{b x+c x^2} \left (1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right )}-\frac {3 \sqrt [4]{3} \sqrt {2+\sqrt {3}} b^2 \sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}} \sqrt {-1-\frac {4 c x}{b}-\frac {4 c^2 x^2}{b^2}} \left (1-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right ) \sqrt {\frac {1+2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}+2 \sqrt [3]{2} \left (-\frac {c x (b+c x)}{b^2}\right )^{2/3}}{\left (1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right )^2}} E\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}{1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}\right )|-7+4 \sqrt {3}\right )}{2 \sqrt [3]{2} c (b+2 c x) \sqrt [3]{b x+c x^2} \sqrt {-1-\frac {4 c x (b+c x)}{b^2}} \sqrt {-\frac {1-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}{\left (1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right )^2}}}+\frac {\sqrt [6]{2} 3^{3/4} b^2 \sqrt [3]{-\frac {c \left (b x+c x^2\right )}{b^2}} \sqrt {-1-\frac {4 c x}{b}-\frac {4 c^2 x^2}{b^2}} \left (1-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right ) \sqrt {\frac {1+2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}+2 \sqrt [3]{2} \left (-\frac {c x (b+c x)}{b^2}\right )^{2/3}}{\left (1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right )^2}} F\left (\sin ^{-1}\left (\frac {1+\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}{1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}\right )|-7+4 \sqrt {3}\right )}{c (b+2 c x) \sqrt [3]{b x+c x^2} \sqrt {-1-\frac {4 c x (b+c x)}{b^2}} \sqrt {-\frac {1-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}}{\left (1-\sqrt {3}-2^{2/3} \sqrt [3]{-\frac {c x (b+c x)}{b^2}}\right )^2}}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 5 vs. order 4 in
optimal.
time = 9.59, size = 45, normalized size = 0.06 \begin {gather*} \frac {3 x \sqrt [3]{1+\frac {c x}{b}} \, _2F_1\left (\frac {1}{3},\frac {2}{3};\frac {5}{3};-\frac {c x}{b}\right )}{2 \sqrt [3]{x (b+c x)}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.10, size = 0, normalized size = 0.00 \[\int \frac {1}{\left (c \,x^{2}+b x \right )^{\frac {1}{3}}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{\sqrt [3]{b x + c x^{2}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.20, size = 36, normalized size = 0.05 \begin {gather*} \frac {3\,x\,{\left (\frac {c\,x}{b}+1\right )}^{1/3}\,{{}}_2{\mathrm {F}}_1\left (\frac {1}{3},\frac {2}{3};\ \frac {5}{3};\ -\frac {c\,x}{b}\right )}{2\,{\left (c\,x^2+b\,x\right )}^{1/3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________